formal languages and automata中文是什么意思

• 形式语言与自动机

• formal    adj. 1.正式的。 2.礼节上的，仪式上的；郑重其事 ...
• language    n. 1.语言；(某民族，某国的)国语；语调，措词。 2 ...
• automata    n. automaton 的复数。
• formal languages    形式语言
• automata and formal language    自动机和形式语言
• formal language and automata theory    形式语言与自动机理论
• languages    语言能力; 语言文字
• formal    adj. 1.正式的。 2.礼节上的，仪式上的；郑重其事的。 3.形态的，外形的；形式上的；拘泥形式的，刻板的。 4.布置整齐的，有条理的。 5.正规的，合乎规格的。 6.【语言】规范化的，书面语的，正规的〔非俗语、俚语的〕。 a formal receipt 正式收据。 a formal call 正式访问。 a formal manner 郑重其事的态度。 formal logic 形式逻辑。 a formal resemblance 外形上的类似。 formal obedience 表面服从。 n. 1.〔美国〕须穿礼服的社交集会。 2.〔口语〕夜礼服。 go formal 〔口语〕穿夜礼服。 n. -ness
• abstract automata    抽象自动机
• array automata    阵列自动机
• automata automaton    的复数
• automata causality    自动机因果律
• automata classification    自动机分类
• automata size    自动机规模
• automata theory    有限自动机; 自动机理论
• celuller automata    胞自计机
• classification of automata    自动机分类
• combination of automata    自动机组合
• discrete automata    离散自动机
• finite automata    有限时序机
• fuzzy automata    模糊自动机
• infinite automata    无限自动机
• optimality of automata    自动机的最佳性; 自动机的最优性
• picture automata    图片自动机
• probabilistic automata    随机自动机

• The paper formally defines the concept of electronic contract and their goals , obligations , bindings and non - repudiatable proofs by the formal language and automata theory . by making the obligations and proofs work together , the partners are enforced to achieve the business goals
  本文用形式语言与自动机理论对电子合同及其目标、责任、约束以及不可抵赖性证据进行形式化定义，使责任和证据相互配合，迫使达到商业目标。